Untitled diff
Erstellt Diff läuft nie ab
30 Entfernungen
| Zeilen | |
|---|---|
| Gesamt | |
| Entfernt | |
| Zeichen | |
| Gesamt | |
| Entfernt | |
31 Hinzufügungen
| Zeilen | |
|---|---|
| Gesamt | |
| Hinzugefügt | |
| Zeichen | |
| Gesamt | |
| Hinzugefügt | |
(:version "4.3.2")
(:version "4.3.2")
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unsat
unsat
unsat
unknown
unknown
unsat
unsat
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unknown
unknown
unknown
unknown
unsat
unsat
unknown
unknown
unsat
unsat
unknown
unknown
unknown
unknown
unsat
unsat
unknown
unknown
unsat
unsat
unknown
unknown
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unknown
unknown
unknown
unknown
unsat
unsat
unknown
unknown
unsat
unsat
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unsat
unsat
unsat
unknown
unknown
unsat
unsat
unknown
unknown
unknown
unknown
unknown
unknown
unsat
unsat
unsat
unsat
unsat
unsat
unknown
unknown
unsat
unsat
unknown
unknown
unknown
unknown
unknown
unknown
unsat
unsat
unknown
unknown
unknown
unknown
unsat
unsat
unknown
unknown
unknown
unknown
unsat
unsat
This might take a while. Or not.
This might take a while. Or not.
unknown
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-accessor-ax 16
:datatype-constructor-ax 83
:datatype-constructor-ax 83
:datatype-occurs-check 12025
:datatype-occurs-check 20287
:datatype-splits 82
: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-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
:restarts 1
:time 8.19)
:time 0.31)