detailed results (8452 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-10.smt2 (content) fatal ok 0.249s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/gasburner/gasburner-prop3-1.smt2 (content) fatal ok 0.235s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-t1-4.smt2 (content) fatal ok 0.306s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-t1-3.smt2 (content) fatal ok 0.308s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-t1-2.smt2 (content) fatal ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-t1-1.smt2 (content) fatal ok 0.221s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-ausgabe-8.smt2 (content) fatal ok 0.315s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-ausgabe-7.smt2 (content) fatal ok 0.224s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-ausgabe-6.smt2 (content) fatal ok 0.241s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-ausgabe-5.smt2 (content) fatal ok 0.316s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-ausgabe-4.smt2 (content) fatal ok 0.302s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-ausgabe-3.smt2 (content) fatal ok 0.164s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-ausgabe-2.smt2 (content) fatal ok 0.234s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/sal/carpark/Carpark2-ausgabe-1.smt2 (content) fatal ok 0.228s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/latendresse/shewanella-compact2b.smt2 (content) fatal ok 0.314s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/latendresse/shewanella-compact2.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.worst_case_skew.induct.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.worst_case_skew.base.smt2 (content) fatal ok 0.220s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.main_invar.induct.smt2 (content) fatal ok 0.312s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/clock_synchro/clocksynchro_9clocks.main_invar.base.smt2 (content) fatal ok 0.231s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.worst_case_skew.induct.smt2 (content) fatal ok 0.300s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.worst_case_skew.base.smt2 (content) fatal ok 0.301s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.main_invar.induct.smt2 (content) fatal ok 0.307s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/clock_synchro/clocksynchro_8clocks.main_invar.base.smt2 (content) fatal ok 0.238s
dolmen-strict /home/guillaume/bench/smtlib/QF_LRA/clock_synchro/clocksynchro_7clocks.worst_case_skew.induct.smt2 (content) fatal ok 0.163s