root
file
detailed [2900..2924]
prev
next
detailed results (241608 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8165829973752232184.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8165158029179241337.smt2
(content)
ok
ok
0.171s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8164382423885050454.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8162579420069988170.smt2
(content)
ok
ok
0.198s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt816043520649305749.smt2
(content)
ok
ok
0.089s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8158064240955445435.smt2
(content)
ok
ok
0.127s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8155807227114563283.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8154989160990108664.smt2
(content)
ok
ok
0.154s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8152635696307671474.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8151581750167055971.smt2
(content)
ok
ok
0.159s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8151550395603872771.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8150833329385415259.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8148677656429052494.smt2
(content)
ok
ok
0.113s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8144814965810222087.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8132095949637221325.smt2
(content)
ok
ok
0.161s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8124390017968867558.smt2
(content)
ok
ok
0.112s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8122530545130362197.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt812244035624400312.smt2
(content)
ok
ok
0.219s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8122371476660543948.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8121434489326344739.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8121310090622100765.smt2
(content)
ok
ok
0.231s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8119191852999016126.smt2
(content)
ok
ok
0.206s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8116398132646228770.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8116001858200417643.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt8115983254183446757.smt2
(content)
ok
ok
0.094s