テキスト比較

2 つのテキストファイルの違いを見つける

ライブエディター

空白の変更を非表示

未変更行を折りたたむ

折り返しなし

レイアウト

比較精度

テキストスタイル

シンタックスハイライト

Diffchecker Desktop Diffcheckerを実行する最も安全な方法。Diffchecker Desktopアプリを入手：あなたの差分はコンピューターから出ることはありません！Desktopを入手

Untitled diff

作成日 11 年前差分は期限切れになりません

30 削除

行
合計
削除

文字
合計
削除

この機能を引き続き使用するには、アップグレードしてください Diffchecker Pro 価格を見る

120 行

31 追加

行
合計
追加

文字
合計
追加

この機能を引き続き使用するには、アップグレードしてください Diffchecker Pro 価格を見る

121 行

(:version "4.3.2")

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

unknown

unsat

This might take a while. Or not.

unknown

(:add-rows 34654

(:add-rows 39231

:added-eqs 62495

:added-eqs 74157

:arith-conflicts 392

:arith-conflicts 335

:assert-diseq 17420

:assert-diseq 24114

:assert-lower 9670

:assert-lower 12676

:assert-upper 15382

:assert-upper 21456

:bound-prop 1077

:bound-prop 1424

:conflicts 1401

:conflicts 1327

:datatype-accessor-ax 16

:datatype-constructor-ax 83

:datatype-occurs-check 12025

:datatype-occurs-check 20287

:datatype-splits 82

:decisions 18339

:decisions 19777

:del-clause 234905

:del-clause 268808

:eq-adapter 13990

:eq-adapter 18313

:final-checks 353

:final-checks 480

:fixed-eqs 2368

:fixed-eqs 2928

:grobner 383

:gcd-tests 3

:interface-eqs 249

:grobner 36

:interface-eqs 363

:max-generation 4

:max-min 209

:max-min 272

:memory 40.48

:memory 7.77

:minimized-lits 296

:minimized-lits 242

:mk-clause 235391

:mk-clause 269298

:nonlinear-bounds 44

:nonlinear-bounds 56

:nonlinear-horner 342

:nonlinear-horner 25

:num-checks 83

:num-checks 82

:offset-eqs 3132

:offset-eqs 3728

:pivots 2738

:pivots 3115

:propagations 71557

:propagations 88979

:pseudo-nonlinear 5

:pseudo-nonlinear 4

:quant-instantiations 43651

:quant-instantiations 51336

:restarts 1

:time 8.19)

:time 0.31)

保存された差分

原文

ファイルを開く

(:version "4.3.2")
unsat
unsat
unsat
unsat
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unknown
unsat
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unknown
unknown
unsat
unknown
unsat
unknown
unknown
unsat
unknown
unsat
unknown
unsat
unsat
unsat
unsat
unknown
unknown
unsat
unknown
unsat
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unknown
unsat
unknown
unknown
unknown
unsat
unsat
unsat
unknown
unsat
unknown
unknown
unknown
unsat
unknown
unknown
unsat
unknown
unknown
unsat
This might take a while. Or not.
unknown
(:add-rows                34654
 :added-eqs               62495
 :arith-conflicts         392
 :assert-diseq            17420
 :assert-lower            9670
 :assert-upper            15382
 :bound-prop              1077
 :conflicts               1401
 :datatype-accessor-ax    16
 :datatype-constructor-ax 83
 :datatype-occurs-check   12025
 :datatype-splits         82
 :decisions               18339
 :del-clause              234905
 :eq-adapter              13990
 :final-checks            353
 :fixed-eqs               2368
 :grobner                 383
 :interface-eqs           249
 :max-generation          4
 :max-min                 209
 :memory                  40.48
 :minimized-lits          296
 :mk-clause               235391
 :nonlinear-bounds        44
 :nonlinear-horner        342
 :num-checks              83
 :offset-eqs              3132
 :pivots                  2738
 :propagations            71557
 :pseudo-nonlinear        5
 :quant-instantiations    43651
 :restarts                1
 :time                    8.19)

変更されたテキスト

ファイルを開く

(:version "4.3.2")
unsat
unsat
unsat
unsat
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unknown
unsat
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unknown
unknown
unsat
unknown
unsat
unknown
unknown
unsat
unknown
unsat
unknown
unsat
unsat
unsat
unsat
unknown
unknown
unsat
unknown
unsat
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unknown
unsat
unknown
unknown
unknown
unsat
unsat
unsat
unknown
unsat
unknown
unknown
unknown
unsat
unknown
unknown
unsat
unknown
unknown
unsat
This might take a while. Or not.
unknown
(:add-rows                39231
 :added-eqs               74157
 :arith-conflicts         335
 :assert-diseq            24114
 :assert-lower            12676
 :assert-upper            21456
 :bound-prop              1424
 :conflicts               1327
 :datatype-accessor-ax    16
 :datatype-constructor-ax 83
 :datatype-occurs-check   20287
 :datatype-splits         82
 :decisions               19777
 :del-clause              268808
 :eq-adapter              18313
 :final-checks            480
 :fixed-eqs               2928
 :gcd-tests               3
 :grobner                 36
 :interface-eqs           363
 :max-generation          4
 :max-min                 272
 :memory                  7.77
 :minimized-lits          242
 :mk-clause               269298
 :nonlinear-bounds        56
 :nonlinear-horner        25
 :num-checks              82
 :offset-eqs              3728
 :pivots                  3115
 :propagations            88979
 :pseudo-nonlinear        4
 :quant-instantiations    51336
 :restarts                1
 :time                    0.31)