root
file
detailed [13900..13924]
prev
next
detailed results (330073 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2741869751710731600.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2738037723642604661.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2734587117036821083.smt2
(content)
ok
ok
0.086s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2733392446730226711.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2732295293953413217.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2727252822444051342.smt2
(content)
ok
ok
0.190s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2726449173869488264.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2726341064659581232.smt2
(content)
ok
ok
0.087s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2723980726144608079.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt271820639918932719.smt2
(content)
ok
ok
0.075s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2716097153918058426.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2715397632170298274.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2709919526989949188.smt2
(content)
ok
ok
0.082s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2709373320751173187.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2708528116159597819.smt2
(content)
ok
ok
0.088s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2707800216695384462.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2705816958409515000.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2705445141688314143.smt2
(content)
ok
ok
0.083s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt270520276852834413.smt2
(content)
ok
ok
0.092s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2702321311309390293.smt2
(content)
ok
ok
0.116s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2701145581086723516.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2700696610849039803.smt2
(content)
ok
ok
0.117s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2698808285481489024.smt2
(content)
ok
ok
0.115s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2693797359418632223.smt2
(content)
ok
ok
0.110s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt2692768588358671641.smt2
(content)
ok
ok
0.079s