pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
433164720qf_shlid_entl/dll-vc01.smt28318278Cyclist-SL22685default326651complete0.0121050.012210949048.0unsatunsat
433164678qf_shlid_entl/dll-vc02.smt28318236Cyclist-SL22685default326651complete0.0120850.01217853028.0unsatunsat
433164702qf_shlid_entl/dll-vc03.smt28318260Cyclist-SL22685default326651complete0.0162340.01636453028.0unsatunsat
433164726qf_shlid_entl/dll-vc04.smt28318284Cyclist-SL22685default326651complete0.867530.86776573324.0starexec-unknownsat
433164722qf_shlid_entl/dll-vc05.smt28318280Cyclist-SL22685default326651complete1.022111.0222973324.0unsatunsat
433164683qf_shlid_entl/dll-vc06.smt28318241Cyclist-SL22685default326651complete46.673746.675373324.0starexec-unknownsat
433164707qf_shlid_entl/dll-vc07.smt28318265Cyclist-SL22685default326651complete0.0865980.08675251612.0unsatunsat
433164731qf_shlid_entl/dll-vc08.smt28318289Cyclist-SL22685default326651complete223.429223.43373324.0starexec-unknownsat
433164713qf_shlid_entl/dll-vc09.smt28318271Cyclist-SL22685default326651complete0.0775510.07772251612.0unsatunsat
433164729qf_shlid_entl/dll-vc10.smt28318287Cyclist-SL22685default326651timeout (wallclock)2399.992400.0273520.0starexec-unknownsat
433164710qf_shlid_entl/dll-vc11.smt28318268Cyclist-SL22685default326651complete69.11869.11980064.0unsatunsat
433164685qf_shlid_entl/dll-vc12.smt28318243Cyclist-SL22685default326651complete56.160756.166973144.0starexec-unknownsat
433164693qf_shlid_entl/dll-vc13.smt28318251Cyclist-SL22685default326651complete1.535961.5361373144.0starexec-unknownsat
433164735qf_shlid_entl/dll-vc14.smt28318293Cyclist-SL22685default326651complete0.2493580.24956753028.0starexec-unknownsat
433164717qf_shlid_entl/dll-vc15.smt28318275Cyclist-SL22685default326651complete0.0107450.01089351432.0unsatunsat
433164690qf_shlid_entl/dll-vc16.smt28318248Cyclist-SL22685default326651timeout (wallclock)2399.962400.0573324.0starexec-unknownsat
433164699qf_shlid_entl/dll-vc17.smt28318257Cyclist-SL22685default326651complete0.40270.4028773144.0unsatunsat
433164711qf_shlid_entl/lss-vc01.smt28318269Cyclist-SL22685default326651complete0.0101860.01104710.0unsatunsat
433164687qf_shlid_entl/lss-vc02.smt28318245Cyclist-SL22685default326651complete0.0143620.014522950464.0unsatunsat
433164696qf_shlid_entl/lss-vc03.smt28318254Cyclist-SL22685default326651complete0.0427180.042894173144.0unsatunsat
433164688qf_shlid_entl/nll-vc01.smt28318246Cyclist-SL22685default326651complete410.128410.15851612.0unsatunsat
433164715qf_shlid_entl/nll-vc02.smt28318273Cyclist-SL22685default326651complete408.587408.60652192.0unsatunsat
433164732qf_shlid_entl/nll-vc03.smt28318290Cyclist-SL22685default326651timeout (wallclock)2399.92400.0273716.0starexec-unknownunsat
433164700qf_shlid_entl/nll-vc04.smt28318258Cyclist-SL22685default326651timeout (wallclock)2399.942400.0473144.0starexec-unknownunsat
433164692qf_shlid_entl/nll-vc05.smt28318250Cyclist-SL22685default326651complete0.5285980.52877173324.0unsatunsat
433164719qf_shlid_entl/nll-vc06.smt28318277Cyclist-SL22685default326651timeout (wallclock)2399.952400.0351432.0starexec-unknownsat
433164736qf_shlid_entl/nll-vc07.smt28318294Cyclist-SL22685default326651complete0.0384650.038606973144.0unsatunsat
433164704qf_shlid_entl/nll-vc08.smt28318262Cyclist-SL22685default326651complete13.129413.130273716.0unsatunsat
433164680qf_shlid_entl/nll-vc09.smt28318238Cyclist-SL22685default326651complete0.0539610.054073173144.0unsatunsat
433164705qf_shlid_entl/nll-vc10.smt28318263Cyclist-SL22685default326651complete2.592652.5928373716.0unsatunsat
433164681qf_shlid_entl/nll-vc11.smt28318239Cyclist-SL22685default326651complete0.0295240.029649171992.0unsatunsat
433164721qf_shlid_entl/nll-vc12.smt28318279Cyclist-SL22685default326651complete0.0284270.028589151432.0unsatunsat
433164725qf_shlid_entl/nll-vc13.smt28318283Cyclist-SL22685default326651timeout (wallclock)2399.962400.0973144.0starexec-unknownsat
433164708qf_shlid_entl/nll-vc14.smt28318266Cyclist-SL22685default326651timeout (wallclock)2399.942400.0273324.0starexec-unknownsat
433164684qf_shlid_entl/nll-vc15.smt28318242Cyclist-SL22685default326651timeout (wallclock)2399.792400.0473144.0starexec-unknownsat
433164723qf_shlid_entl/nll-vc16.smt28318281Cyclist-SL22685default326651timeout (wallclock)2399.952400.0673716.0starexec-unknownsat
433164728qf_shlid_entl/nll-vc17.smt28318286Cyclist-SL22685default326651timeout (wallclock)2399.912400.03222972.0starexec-unknownsat
433164694qf_shlid_entl/nll-vc18.smt28318252Cyclist-SL22685default326651timeout (cpu)2400.112400.0379484.0starexec-unknownsat
433164686qf_shlid_entl/nll-vc19.smt28318244Cyclist-SL22685default326651timeout (wallclock)2399.962400.0678912.0starexec-unknownsat
433164697qf_shlid_entl/skl2-vc01.smt28318255Cyclist-SL22685default326651complete0.0158870.01603549048.0unsatunsat
433164733qf_shlid_entl/skl2-vc02.smt28318291Cyclist-SL22685default326651complete0.0536440.053796153028.0unsatunsat
433164714qf_shlid_entl/skl2-vc03.smt28318272Cyclist-SL22685default326651timeout (wallclock)2400.02400.0773144.0starexec-unknownunsat
433164691qf_shlid_entl/skl2-vc04.smt28318249Cyclist-SL22685default326651complete0.103580.10376171148.0unsatunsat
433164701qf_shlid_entl/skl2-vc05.smt28318259Cyclist-SL22685default326651timeout (wallclock)2399.912400.0193892.0starexec-unknownsat
433164737qf_shlid_entl/skl2-vc06.smt28318295Cyclist-SL22685default326651timeout (cpu)2400.142400.173324.0starexec-unknownsat
433164718qf_shlid_entl/skl2-vc07.smt28318276Cyclist-SL22685default326651timeout (wallclock)2399.972400.173324.0starexec-unknownsat
433164695qf_shlid_entl/skl3-vc01.smt28318253Cyclist-SL22685default326651complete0.2388520.23900451432.0unsatunsat
433164730qf_shlid_entl/skl3-vc02.smt28318288Cyclist-SL22685default326651timeout (cpu)2400.342401.62222660.0starexec-unknownsat
433164712qf_shlid_entl/skl3-vc03.smt28318270Cyclist-SL22685default326651complete0.0713640.07152851612.0unsatunsat
433164689qf_shlid_entl/skl3-vc04.smt28318247Cyclist-SL22685default326651timeout (cpu)2400.112400.0278912.0starexec-unknownunsat
433164698qf_shlid_entl/skl3-vc05.smt28318256Cyclist-SL22685default326651timeout (cpu)2400.122400.179484.0starexec-unknownunsat
433164734qf_shlid_entl/skl3-vc06.smt28318292Cyclist-SL22685default326651timeout (wallclock)2399.932400.0479092.0starexec-unknownunsat
433164716qf_shlid_entl/skl3-vc07.smt28318274Cyclist-SL22685default326651timeout (wallclock)2399.962400.0478912.0starexec-unknownunsat
433164682qf_shlid_entl/skl3-vc08.smt28318240Cyclist-SL22685default326651timeout (cpu)2400.22400.3493500.0starexec-unknownunsat
433164706qf_shlid_entl/skl3-vc09.smt28318264Cyclist-SL22685default326651timeout (wallclock)2399.792400.0279484.0starexec-unknownunsat
433164679qf_shlid_entl/skl3-vc10.smt28318237Cyclist-SL22685default326651timeout (wallclock)2399.932400.0273144.0starexec-unknownunsat
433164703qf_shlid_entl/skl3-vc11.smt28318261Cyclist-SL22685default326651timeout (wallclock)2400.012400.0478912.0starexec-unknownsat
433164724qf_shlid_entl/skl3-vc12.smt28318282Cyclist-SL22685default326651timeout (wallclock)2399.862400.0878912.0starexec-unknownsat
433164727qf_shlid_entl/sll-vc01.smt28318285Cyclist-SL22685default326651timeout (wallclock)2399.882400.0773144.0starexec-unknownsat
433164709qf_shlid_entl/sll-vc02.smt28318267Cyclist-SL22685default326651timeout (cpu)2400.152400.1273324.0starexec-unknownsat