├── .gitignore ├── .travis.yml ├── README.md ├── benchmarks ├── aFewTests │ ├── formerBug_SAT.rlv │ ├── reluBenchmark0.0673110485077s_UNSAT.rlv │ ├── reluBenchmark0.755311012268s_UNSAT.rlv │ └── reluBenchmark1.64867305756s_SAT.rlv └── collisionDetection │ ├── reluBenchmark0.00491881370544s_UNSAT.rlv │ ├── reluBenchmark0.00501608848572s_UNSAT.rlv │ ├── reluBenchmark0.00502896308899s_UNSAT.rlv │ ├── reluBenchmark0.00512099266052s_UNSAT.rlv │ ├── reluBenchmark0.00517892837524s_UNSAT.rlv │ ├── reluBenchmark0.00523114204407s_UNSAT.rlv │ ├── reluBenchmark0.00524592399597s_UNSAT.rlv │ ├── reluBenchmark0.00544190406799s_UNSAT.rlv │ ├── reluBenchmark0.00548696517944s_UNSAT.rlv │ ├── reluBenchmark0.00568509101868s_UNSAT.rlv │ ├── reluBenchmark0.00573205947876s_UNSAT.rlv │ ├── reluBenchmark0.00577807426453s_UNSAT.rlv │ ├── reluBenchmark0.00581097602844s_UNSAT.rlv │ ├── reluBenchmark0.00584101676941s_UNSAT.rlv │ ├── reluBenchmark0.00601387023926s_UNSAT.rlv │ ├── reluBenchmark0.00621390342712s_UNSAT.rlv │ ├── reluBenchmark0.00628185272217s_UNSAT.rlv │ ├── reluBenchmark0.00636315345764s_UNSAT.rlv │ ├── reluBenchmark0.00640106201172s_UNSAT.rlv │ ├── reluBenchmark0.00641798973083s_UNSAT.rlv │ ├── reluBenchmark0.0064799785614s_UNSAT.rlv │ ├── reluBenchmark0.0064959526062s_UNSAT.rlv │ ├── reluBenchmark0.00652694702148s_UNSAT.rlv │ ├── reluBenchmark0.00653100013733s_UNSAT.rlv │ ├── reluBenchmark0.00656604766846s_UNSAT.rlv │ ├── reluBenchmark0.0065929889679s_UNSAT.rlv │ ├── reluBenchmark0.00662088394165s_UNSAT.rlv │ ├── reluBenchmark0.0318529605865s_UNSAT.rlv │ ├── reluBenchmark0.0327317714691s_UNSAT.rlv │ ├── reluBenchmark0.0330219268799s_UNSAT.rlv │ ├── reluBenchmark0.0338258743286s_UNSAT.rlv │ ├── reluBenchmark0.0352051258087s_UNSAT.rlv │ ├── reluBenchmark0.0368409156799s_UNSAT.rlv │ ├── reluBenchmark0.0374069213867s_UNSAT.rlv │ ├── reluBenchmark0.0380239486694s_UNSAT.rlv │ ├── reluBenchmark0.0386769771576s_UNSAT.rlv │ ├── reluBenchmark0.039608001709s_UNSAT.rlv │ ├── reluBenchmark0.0396840572357s_UNSAT.rlv │ ├── reluBenchmark0.040363073349s_UNSAT.rlv │ ├── reluBenchmark0.0413448810577s_UNSAT.rlv │ ├── reluBenchmark0.0413818359375s_UNSAT.rlv │ ├── reluBenchmark0.041867017746s_UNSAT.rlv │ ├── reluBenchmark0.0424070358276s_UNSAT.rlv │ ├── reluBenchmark0.0429170131683s_UNSAT.rlv │ ├── reluBenchmark0.0431158542633s_UNSAT.rlv │ ├── reluBenchmark0.043398141861s_UNSAT.rlv │ ├── reluBenchmark0.0441219806671s_UNSAT.rlv │ ├── reluBenchmark0.0447909832001s_UNSAT.rlv │ ├── reluBenchmark0.0452961921692s_UNSAT.rlv │ ├── reluBenchmark0.0459990501404s_UNSAT.rlv │ ├── reluBenchmark0.0466198921204s_UNSAT.rlv │ ├── reluBenchmark0.0467648506165s_UNSAT.rlv │ ├── reluBenchmark0.0470290184021s_UNSAT.rlv │ ├── reluBenchmark0.047042131424s_UNSAT.rlv │ ├── reluBenchmark0.048150062561s_UNSAT.rlv │ ├── reluBenchmark0.0492730140686s_UNSAT.rlv │ ├── reluBenchmark0.0494029521942s_UNSAT.rlv │ ├── reluBenchmark0.0494320392609s_UNSAT.rlv │ ├── reluBenchmark0.0502169132233s_UNSAT.rlv │ ├── reluBenchmark0.0505521297455s_UNSAT.rlv │ ├── reluBenchmark0.0507640838623s_UNSAT.rlv │ ├── reluBenchmark0.0509870052338s_UNSAT.rlv │ ├── reluBenchmark0.0514161586761s_UNSAT.rlv │ ├── reluBenchmark0.0518190860748s_UNSAT.rlv │ ├── reluBenchmark0.0527410507202s_UNSAT.rlv │ ├── reluBenchmark0.0527589321136s_UNSAT.rlv │ ├── reluBenchmark0.0530769824982s_UNSAT.rlv │ ├── reluBenchmark0.0536160469055s_UNSAT.rlv │ ├── reluBenchmark0.053820848465s_UNSAT.rlv │ ├── reluBenchmark0.0538430213928s_UNSAT.rlv │ ├── reluBenchmark0.0542931556702s_UNSAT.rlv │ ├── reluBenchmark0.0549488067627s_UNSAT.rlv │ ├── reluBenchmark0.0554440021515s_UNSAT.rlv │ ├── reluBenchmark0.0555210113525s_UNSAT.rlv │ ├── reluBenchmark0.0562751293182s_UNSAT.rlv │ ├── reluBenchmark0.0563449859619s_UNSAT.rlv │ ├── reluBenchmark0.05650806427s_UNSAT.rlv │ ├── reluBenchmark0.0574069023132s_UNSAT.rlv │ ├── reluBenchmark0.0575850009918s_UNSAT.rlv │ ├── reluBenchmark0.0575940608978s_UNSAT.rlv │ ├── reluBenchmark0.0584850311279s_UNSAT.rlv │ ├── reluBenchmark0.0589830875397s_UNSAT.rlv │ ├── reluBenchmark0.0591061115265s_UNSAT.rlv │ ├── reluBenchmark0.0594508647919s_UNSAT.rlv │ ├── reluBenchmark0.0596628189087s_UNSAT.rlv │ ├── reluBenchmark0.0597372055054s_UNSAT.rlv │ ├── reluBenchmark0.0600910186768s_UNSAT.rlv │ ├── reluBenchmark0.0606548786163s_UNSAT.rlv │ ├── reluBenchmark0.0607089996338s_UNSAT.rlv │ ├── reluBenchmark0.0617201328278s_UNSAT.rlv │ ├── reluBenchmark0.0618040561676s_UNSAT.rlv │ ├── reluBenchmark0.062066078186s_UNSAT.rlv │ ├── reluBenchmark0.0623738765717s_UNSAT.rlv │ ├── reluBenchmark0.0631129741669s_UNSAT.rlv │ ├── reluBenchmark0.0633220672607s_UNSAT.rlv │ ├── reluBenchmark0.0637600421906s_UNSAT.rlv │ ├── reluBenchmark0.0645151138306s_UNSAT.rlv │ ├── reluBenchmark0.0650329589844s_UNSAT.rlv │ ├── reluBenchmark0.0653338432312s_UNSAT.rlv │ ├── reluBenchmark0.0656890869141s_UNSAT.rlv │ ├── reluBenchmark0.0658059120178s_UNSAT.rlv │ ├── reluBenchmark0.0667028427124s_UNSAT.rlv │ ├── reluBenchmark0.067841053009s_UNSAT.rlv │ ├── reluBenchmark0.0679938793182s_UNSAT.rlv │ ├── reluBenchmark0.0687100887299s_UNSAT.rlv │ ├── reluBenchmark0.0688090324402s_UNSAT.rlv │ ├── reluBenchmark0.0693099498749s_UNSAT.rlv │ ├── reluBenchmark0.0709619522095s_UNSAT.rlv │ ├── reluBenchmark0.0715999603271s_UNSAT.rlv │ ├── reluBenchmark0.0724918842316s_UNSAT.rlv │ ├── reluBenchmark0.0745990276337s_UNSAT.rlv │ ├── reluBenchmark0.0762519836426s_UNSAT.rlv │ ├── reluBenchmark0.0780329704285s_UNSAT.rlv │ ├── reluBenchmark0.0810000896454s_UNSAT.rlv │ ├── reluBenchmark0.0842049121857s_UNSAT.rlv │ ├── reluBenchmark0.0860028266907s_UNSAT.rlv │ ├── reluBenchmark0.0872418880463s_UNSAT.rlv │ ├── reluBenchmark0.0876648426056s_UNSAT.rlv │ ├── reluBenchmark0.088259935379s_UNSAT.rlv │ ├── reluBenchmark0.0888538360596s_UNSAT.rlv │ ├── reluBenchmark0.0896761417389s_UNSAT.rlv │ ├── reluBenchmark0.0896971225739s_UNSAT.rlv │ ├── reluBenchmark0.0908679962158s_UNSAT.rlv │ ├── reluBenchmark0.091099023819s_UNSAT.rlv │ ├── reluBenchmark0.0918869972229s_UNSAT.rlv │ ├── reluBenchmark0.0933790206909s_UNSAT.rlv │ ├── reluBenchmark0.0939028263092s_UNSAT.rlv │ ├── reluBenchmark0.0950090885162s_UNSAT.rlv │ ├── reluBenchmark0.0952930450439s_UNSAT.rlv │ ├── reluBenchmark0.0954411029816s_UNSAT.rlv │ ├── reluBenchmark0.0990879535675s_UNSAT.rlv │ ├── reluBenchmark0.0996668338776s_UNSAT.rlv │ ├── reluBenchmark0.0998799800873s_UNSAT.rlv │ ├── reluBenchmark0.101797103882s_UNSAT.rlv │ ├── reluBenchmark0.103610992432s_UNSAT.rlv │ ├── reluBenchmark0.104543924332s_UNSAT.rlv │ ├── reluBenchmark0.105513095856s_UNSAT.rlv │ ├── reluBenchmark0.108518123627s_UNSAT.rlv │ ├── reluBenchmark0.110697031021s_UNSAT.rlv │ ├── reluBenchmark0.114530801773s_UNSAT.rlv │ ├── reluBenchmark0.116857051849s_UNSAT.rlv │ ├── reluBenchmark0.118692874908s_UNSAT.rlv │ ├── reluBenchmark0.120673894882s_UNSAT.rlv │ ├── reluBenchmark0.121646165848s_UNSAT.rlv │ ├── reluBenchmark0.124088048935s_UNSAT.rlv │ ├── reluBenchmark0.131191015244s_UNSAT.rlv │ ├── reluBenchmark0.138180971146s_UNSAT.rlv │ ├── reluBenchmark0.142198085785s_UNSAT.rlv │ ├── reluBenchmark0.15145778656s_UNSAT.rlv │ ├── reluBenchmark0.154243946075s_UNSAT.rlv │ ├── reluBenchmark0.157328128815s_UNSAT.rlv │ ├── reluBenchmark0.159334182739s_UNSAT.rlv │ ├── reluBenchmark0.165054798126s_UNSAT.rlv │ ├── reluBenchmark0.167243003845s_UNSAT.rlv │ ├── reluBenchmark0.175420999527s_UNSAT.rlv │ ├── reluBenchmark0.179277896881s_UNSAT.rlv │ ├── reluBenchmark0.179732084274s_UNSAT.rlv │ ├── reluBenchmark0.181908130646s_UNSAT.rlv │ ├── reluBenchmark0.183997154236s_UNSAT.rlv │ ├── reluBenchmark0.188742160797s_UNSAT.rlv │ ├── reluBenchmark0.188781023026s_UNSAT.rlv │ ├── reluBenchmark0.190145969391s_UNSAT.rlv │ ├── reluBenchmark0.19238615036s_UNSAT.rlv │ ├── reluBenchmark0.196686029434s_UNSAT.rlv │ ├── reluBenchmark0.213079929352s_UNSAT.rlv │ ├── reluBenchmark0.213303089142s_UNSAT.rlv │ ├── reluBenchmark0.213617086411s_UNSAT.rlv │ ├── reluBenchmark0.221790075302s_SAT.rlv │ ├── reluBenchmark0.224611997604s_UNSAT.rlv │ ├── reluBenchmark0.24204993248s_UNSAT.rlv │ ├── reluBenchmark0.24551987648s_UNSAT.rlv │ ├── reluBenchmark0.245527029037s_SAT.rlv │ ├── reluBenchmark0.246181964874s_SAT.rlv │ ├── reluBenchmark0.247111082077s_SAT.rlv │ ├── reluBenchmark0.256556034088s_SAT.rlv │ ├── reluBenchmark0.261991024017s_UNSAT.rlv │ ├── reluBenchmark0.262641906738s_UNSAT.rlv │ ├── reluBenchmark0.263041973114s_UNSAT.rlv │ ├── reluBenchmark0.270678043365s_SAT.rlv │ ├── reluBenchmark0.271136045456s_UNSAT.rlv │ ├── reluBenchmark0.276643037796s_UNSAT.rlv │ ├── reluBenchmark0.276684999466s_UNSAT.rlv │ ├── reluBenchmark0.280258178711s_UNSAT.rlv │ ├── reluBenchmark0.28516793251s_UNSAT.rlv │ ├── reluBenchmark0.287177085876s_UNSAT.rlv │ ├── reluBenchmark0.29426407814s_UNSAT.rlv │ ├── reluBenchmark0.294414997101s_SAT.rlv │ ├── reluBenchmark0.295855998993s_SAT.rlv │ ├── reluBenchmark0.296066999435s_UNSAT.rlv │ ├── reluBenchmark0.298062801361s_UNSAT.rlv │ ├── reluBenchmark0.30711388588s_UNSAT.rlv │ ├── reluBenchmark0.307960987091s_SAT.rlv │ ├── reluBenchmark0.310827970505s_SAT.rlv │ ├── reluBenchmark0.3205909729s_SAT.rlv │ ├── reluBenchmark0.322294950485s_UNSAT.rlv │ ├── reluBenchmark0.326423883438s_UNSAT.rlv │ ├── reluBenchmark0.329107999802s_UNSAT.rlv │ ├── reluBenchmark0.345348119736s_SAT.rlv │ ├── reluBenchmark0.345421075821s_UNSAT.rlv │ ├── reluBenchmark0.346937894821s_UNSAT.rlv │ ├── reluBenchmark0.354062080383s_UNSAT.rlv │ ├── reluBenchmark0.359375s_UNSAT.rlv │ ├── reluBenchmark0.359877824783s_UNSAT.rlv │ ├── reluBenchmark0.360864877701s_SAT.rlv │ ├── reluBenchmark0.362161874771s_UNSAT.rlv │ ├── reluBenchmark0.363116979599s_SAT.rlv │ ├── reluBenchmark0.366096973419s_SAT.rlv │ ├── reluBenchmark0.376991033554s_SAT.rlv │ ├── reluBenchmark0.379405975342s_SAT.rlv │ ├── reluBenchmark0.383166074753s_UNSAT.rlv │ ├── reluBenchmark0.384956121445s_SAT.rlv │ ├── reluBenchmark0.385080099106s_SAT.rlv │ ├── reluBenchmark0.394901990891s_UNSAT.rlv │ ├── reluBenchmark0.396450042725s_UNSAT.rlv │ ├── reluBenchmark0.398984909058s_SAT.rlv │ ├── reluBenchmark0.40050983429s_SAT.rlv │ ├── reluBenchmark0.401507139206s_UNSAT.rlv │ ├── reluBenchmark0.405993938446s_UNSAT.rlv │ ├── reluBenchmark0.406064987183s_SAT.rlv │ ├── reluBenchmark0.411131858826s_UNSAT.rlv │ ├── reluBenchmark0.416944026947s_UNSAT.rlv │ ├── reluBenchmark0.42388010025s_UNSAT.rlv │ ├── reluBenchmark0.426502943039s_UNSAT.rlv │ ├── reluBenchmark0.427896976471s_UNSAT.rlv │ ├── reluBenchmark0.429164886475s_UNSAT.rlv │ ├── reluBenchmark0.43067407608s_SAT.rlv │ ├── reluBenchmark0.432015895844s_UNSAT.rlv │ ├── reluBenchmark0.433370828629s_UNSAT.rlv │ ├── reluBenchmark0.434634923935s_SAT.rlv │ ├── reluBenchmark0.445449113846s_SAT.rlv │ ├── reluBenchmark0.44948387146s_UNSAT.rlv │ ├── reluBenchmark0.449640989304s_SAT.rlv │ ├── reluBenchmark0.453322172165s_UNSAT.rlv │ ├── reluBenchmark0.453773975372s_UNSAT.rlv │ ├── reluBenchmark0.454473018646s_SAT.rlv │ ├── reluBenchmark0.454734802246s_SAT.rlv │ ├── reluBenchmark0.455789089203s_SAT.rlv │ ├── reluBenchmark0.458035945892s_SAT.rlv │ ├── reluBenchmark0.460447072983s_SAT.rlv │ ├── reluBenchmark0.464257001877s_UNSAT.rlv │ ├── reluBenchmark0.468785047531s_UNSAT.rlv │ ├── reluBenchmark0.471545934677s_UNSAT.rlv │ ├── reluBenchmark0.477442979813s_SAT.rlv │ ├── reluBenchmark0.479170084s_UNSAT.rlv │ ├── reluBenchmark0.482614994049s_UNSAT.rlv │ ├── reluBenchmark0.485723018646s_UNSAT.rlv │ ├── reluBenchmark0.488179922104s_SAT.rlv │ ├── reluBenchmark0.49538397789s_UNSAT.rlv │ ├── reluBenchmark0.4976811409s_SAT.rlv │ ├── reluBenchmark0.498859882355s_UNSAT.rlv │ ├── reluBenchmark0.499482154846s_SAT.rlv │ ├── reluBenchmark0.502743005753s_UNSAT.rlv │ ├── reluBenchmark0.505765914917s_UNSAT.rlv │ ├── reluBenchmark0.507685899734s_UNSAT.rlv │ ├── reluBenchmark0.512935876846s_SAT.rlv │ ├── reluBenchmark0.514003992081s_SAT.rlv │ ├── reluBenchmark0.515321969986s_SAT.rlv │ ├── reluBenchmark0.516336917877s_UNSAT.rlv │ ├── reluBenchmark0.520453214645s_UNSAT.rlv │ ├── reluBenchmark0.524482011795s_SAT.rlv │ ├── reluBenchmark0.527606964111s_SAT.rlv │ ├── reluBenchmark0.532393932343s_SAT.rlv │ ├── reluBenchmark0.534486055374s_UNSAT.rlv │ ├── reluBenchmark0.536728143692s_SAT.rlv │ ├── reluBenchmark0.551680803299s_UNSAT.rlv │ ├── reluBenchmark0.554281949997s_SAT.rlv │ ├── reluBenchmark0.56214594841s_UNSAT.rlv │ ├── reluBenchmark0.563243865967s_UNSAT.rlv │ ├── reluBenchmark0.566960096359s_SAT.rlv │ ├── reluBenchmark0.58006310463s_UNSAT.rlv │ ├── reluBenchmark0.580633163452s_UNSAT.rlv │ ├── reluBenchmark0.582016944885s_UNSAT.rlv │ ├── reluBenchmark0.582406044006s_SAT.rlv │ ├── reluBenchmark0.587062835693s_SAT.rlv │ ├── reluBenchmark0.592103004456s_UNSAT.rlv │ ├── reluBenchmark0.594193935394s_UNSAT.rlv │ ├── reluBenchmark0.59511089325s_SAT.rlv │ ├── reluBenchmark0.598773002625s_UNSAT.rlv │ ├── reluBenchmark0.600682973862s_UNSAT.rlv │ ├── reluBenchmark0.60636305809s_SAT.rlv │ ├── reluBenchmark0.614222049713s_SAT.rlv │ ├── reluBenchmark0.618334054947s_SAT.rlv │ ├── reluBenchmark0.619050979614s_SAT.rlv │ ├── reluBenchmark0.62436914444s_SAT.rlv │ ├── reluBenchmark0.625330924988s_UNSAT.rlv │ ├── reluBenchmark0.627676963806s_UNSAT.rlv │ ├── reluBenchmark0.629367113113s_UNSAT.rlv │ ├── reluBenchmark0.631415843964s_UNSAT.rlv │ ├── reluBenchmark0.631726026535s_UNSAT.rlv │ ├── reluBenchmark0.637346982956s_UNSAT.rlv │ ├── reluBenchmark0.642697095871s_SAT.rlv │ ├── reluBenchmark0.65639591217s_UNSAT.rlv │ ├── reluBenchmark0.666516065598s_UNSAT.rlv │ ├── reluBenchmark0.670480966568s_UNSAT.rlv │ ├── reluBenchmark0.671190023422s_UNSAT.rlv │ ├── reluBenchmark0.67381310463s_SAT.rlv │ ├── reluBenchmark0.674989938736s_SAT.rlv │ ├── reluBenchmark0.678915023804s_SAT.rlv │ ├── reluBenchmark0.682729005814s_UNSAT.rlv │ ├── reluBenchmark0.682811975479s_UNSAT.rlv │ ├── reluBenchmark0.687947034836s_UNSAT.rlv │ ├── reluBenchmark0.692045211792s_UNSAT.rlv │ ├── reluBenchmark0.703878879547s_UNSAT.rlv │ ├── reluBenchmark0.705770969391s_UNSAT.rlv │ ├── reluBenchmark0.707822084427s_UNSAT.rlv │ ├── reluBenchmark0.71456193924s_SAT.rlv │ ├── reluBenchmark0.715106010437s_SAT.rlv │ ├── reluBenchmark0.717905044556s_UNSAT.rlv │ ├── reluBenchmark0.724466085434s_SAT.rlv │ ├── reluBenchmark0.725997209549s_UNSAT.rlv │ ├── reluBenchmark0.73387503624s_UNSAT.rlv │ ├── reluBenchmark0.734488964081s_SAT.rlv │ ├── reluBenchmark0.743054866791s_UNSAT.rlv │ ├── reluBenchmark0.760170936584s_SAT.rlv │ ├── reluBenchmark0.763454198837s_UNSAT.rlv │ ├── reluBenchmark0.763490200043s_SAT.rlv │ ├── reluBenchmark0.764308929443s_UNSAT.rlv │ ├── reluBenchmark0.764842987061s_SAT.rlv │ ├── reluBenchmark0.766605138779s_SAT.rlv │ ├── reluBenchmark0.768187999725s_UNSAT.rlv │ ├── reluBenchmark0.775441884995s_SAT.rlv │ ├── reluBenchmark0.778527975082s_SAT.rlv │ ├── reluBenchmark0.779557943344s_UNSAT.rlv │ ├── reluBenchmark0.780378818512s_UNSAT.rlv │ ├── reluBenchmark0.781363010406s_SAT.rlv │ ├── reluBenchmark0.781890869141s_SAT.rlv │ ├── reluBenchmark0.782283067703s_UNSAT.rlv │ ├── reluBenchmark0.784071922302s_UNSAT.rlv │ ├── reluBenchmark0.786052942276s_SAT.rlv │ ├── reluBenchmark0.790965080261s_UNSAT.rlv │ ├── reluBenchmark0.801604032516s_SAT.rlv │ ├── reluBenchmark0.80174612999s_UNSAT.rlv │ ├── reluBenchmark0.802739858627s_SAT.rlv │ ├── reluBenchmark0.803817987442s_SAT.rlv │ ├── reluBenchmark0.805515766144s_SAT.rlv │ ├── reluBenchmark0.81329202652s_UNSAT.rlv │ ├── reluBenchmark0.825098991394s_UNSAT.rlv │ ├── reluBenchmark0.828888177872s_SAT.rlv │ ├── reluBenchmark0.831799030304s_UNSAT.rlv │ ├── reluBenchmark0.836799860001s_SAT.rlv │ ├── reluBenchmark0.837177038193s_SAT.rlv │ ├── reluBenchmark0.83825802803s_UNSAT.rlv │ ├── reluBenchmark0.844138860703s_SAT.rlv │ ├── reluBenchmark0.855365991592s_SAT.rlv │ ├── reluBenchmark0.856752872467s_SAT.rlv │ ├── reluBenchmark0.86567401886s_UNSAT.rlv │ ├── reluBenchmark0.881708860397s_SAT.rlv │ ├── reluBenchmark0.883652925491s_SAT.rlv │ ├── reluBenchmark0.89562702179s_SAT.rlv │ ├── reluBenchmark0.899523973465s_SAT.rlv │ ├── reluBenchmark0.90119600296s_SAT.rlv │ ├── reluBenchmark0.90442609787s_SAT.rlv │ ├── reluBenchmark0.907590150833s_UNSAT.rlv │ ├── reluBenchmark0.908255815506s_SAT.rlv │ ├── reluBenchmark0.910103082657s_UNSAT.rlv │ ├── reluBenchmark0.914130926132s_UNSAT.rlv │ ├── reluBenchmark0.918605089188s_SAT.rlv │ ├── reluBenchmark0.919886112213s_UNSAT.rlv │ ├── reluBenchmark0.923309087753s_SAT.rlv │ ├── reluBenchmark0.930528879166s_SAT.rlv │ ├── reluBenchmark0.93282699585s_UNSAT.rlv │ ├── reluBenchmark0.935102939606s_SAT.rlv │ ├── reluBenchmark0.936612129211s_UNSAT.rlv │ ├── reluBenchmark0.942033052444s_UNSAT.rlv │ ├── reluBenchmark0.94518494606s_SAT.rlv │ ├── reluBenchmark0.945509195328s_SAT.rlv │ ├── reluBenchmark0.947910070419s_UNSAT.rlv │ ├── reluBenchmark0.950109958649s_SAT.rlv │ ├── reluBenchmark0.952219009399s_SAT.rlv │ ├── reluBenchmark0.956095933914s_UNSAT.rlv │ ├── reluBenchmark0.957036972046s_SAT.rlv │ ├── reluBenchmark0.959666967392s_SAT.rlv │ ├── reluBenchmark0.963188886642s_SAT.rlv │ ├── reluBenchmark0.965362071991s_UNSAT.rlv │ ├── reluBenchmark0.967260837555s_UNSAT.rlv │ ├── reluBenchmark0.968414068222s_UNSAT.rlv │ ├── reluBenchmark0.970793008804s_UNSAT.rlv │ ├── reluBenchmark0.970839977264s_SAT.rlv │ ├── reluBenchmark0.97177696228s_UNSAT.rlv │ ├── reluBenchmark0.972985029221s_UNSAT.rlv │ ├── reluBenchmark0.979034900665s_UNSAT.rlv │ ├── reluBenchmark0.983299016953s_UNSAT.rlv │ ├── reluBenchmark0.984241962433s_UNSAT.rlv │ ├── reluBenchmark0.989935874939s_SAT.rlv │ ├── reluBenchmark0.991807222366s_UNSAT.rlv │ ├── reluBenchmark0.996887922287s_SAT.rlv │ ├── reluBenchmark0.997527122498s_SAT.rlv │ ├── reluBenchmark1.00285983086s_UNSAT.rlv │ ├── reluBenchmark1.00844407082s_SAT.rlv │ ├── reluBenchmark1.01821899414s_SAT.rlv │ ├── reluBenchmark1.02287507057s_UNSAT.rlv │ ├── reluBenchmark1.03036904335s_SAT.rlv │ ├── reluBenchmark1.03301095963s_UNSAT.rlv │ ├── reluBenchmark1.04137301445s_SAT.rlv │ ├── reluBenchmark1.04315304756s_SAT.rlv │ ├── reluBenchmark1.05544614792s_UNSAT.rlv │ ├── reluBenchmark1.06199502945s_SAT.rlv │ ├── reluBenchmark1.06413292885s_UNSAT.rlv │ ├── reluBenchmark1.06808495522s_SAT.rlv │ ├── reluBenchmark1.06946182251s_SAT.rlv │ ├── reluBenchmark1.07360696793s_UNSAT.rlv │ ├── reluBenchmark1.07406687737s_UNSAT.rlv │ ├── reluBenchmark1.07428097725s_SAT.rlv │ ├── reluBenchmark1.07929301262s_UNSAT.rlv │ ├── reluBenchmark1.08088994026s_UNSAT.rlv │ ├── reluBenchmark1.08494997025s_UNSAT.rlv │ ├── reluBenchmark1.09027004242s_SAT.rlv │ ├── reluBenchmark1.09928894043s_SAT.rlv │ ├── reluBenchmark1.11992502213s_SAT.rlv │ ├── reluBenchmark1.12470388412s_SAT.rlv │ ├── reluBenchmark1.1312661171s_SAT.rlv │ ├── reluBenchmark1.13338017464s_SAT.rlv │ ├── reluBenchmark1.13484883308s_UNSAT.rlv │ ├── reluBenchmark1.13653492928s_SAT.rlv │ ├── reluBenchmark1.13731384277s_SAT.rlv │ ├── reluBenchmark1.14152503014s_SAT.rlv │ ├── reluBenchmark1.14235496521s_SAT.rlv │ ├── reluBenchmark1.14822697639s_SAT.rlv │ ├── reluBenchmark1.149944067s_SAT.rlv │ ├── reluBenchmark1.15391778946s_SAT.rlv │ ├── reluBenchmark1.15477514267s_UNSAT.rlv │ ├── reluBenchmark1.15705108643s_SAT.rlv │ ├── reluBenchmark1.1676428318s_SAT.rlv │ ├── reluBenchmark1.16835904121s_SAT.rlv │ ├── reluBenchmark1.17175102234s_UNSAT.rlv │ ├── reluBenchmark1.17784190178s_UNSAT.rlv │ ├── reluBenchmark1.20032310486s_SAT.rlv │ ├── reluBenchmark1.20350694656s_SAT.rlv │ ├── reluBenchmark1.20360302925s_UNSAT.rlv │ ├── reluBenchmark1.20513105392s_UNSAT.rlv │ ├── reluBenchmark1.20582485199s_SAT.rlv │ ├── reluBenchmark1.20673108101s_UNSAT.rlv │ ├── reluBenchmark1.21319699287s_SAT.rlv │ ├── reluBenchmark1.21326208115s_SAT.rlv │ ├── reluBenchmark1.21413683891s_SAT.rlv │ ├── reluBenchmark1.2193801403s_SAT.rlv │ ├── reluBenchmark1.22444009781s_SAT.rlv │ ├── reluBenchmark1.22732901573s_SAT.rlv │ ├── reluBenchmark1.23242592812s_SAT.rlv │ ├── reluBenchmark1.23959302902s_SAT.rlv │ ├── reluBenchmark1.24425601959s_SAT.rlv │ ├── reluBenchmark1.24551987648s_UNSAT.rlv │ ├── reluBenchmark1.26508307457s_UNSAT.rlv │ ├── reluBenchmark1.26586914062s_UNSAT.rlv │ ├── reluBenchmark1.2669301033s_SAT.rlv │ ├── reluBenchmark1.27050995827s_UNSAT.rlv │ ├── reluBenchmark1.27101492882s_SAT.rlv │ ├── reluBenchmark1.29464912415s_SAT.rlv │ ├── reluBenchmark1.30941200256s_UNSAT.rlv │ ├── reluBenchmark1.30961179733s_UNSAT.rlv │ ├── reluBenchmark1.32168889046s_SAT.rlv │ ├── reluBenchmark1.32389783859s_SAT.rlv │ ├── reluBenchmark1.32709693909s_SAT.rlv │ ├── reluBenchmark1.32963395119s_SAT.rlv │ ├── reluBenchmark1.3402671814s_UNSAT.rlv │ ├── reluBenchmark1.35677289963s_SAT.rlv │ ├── reluBenchmark1.35796022415s_SAT.rlv │ ├── reluBenchmark1.36359000206s_UNSAT.rlv │ ├── reluBenchmark1.36981892586s_UNSAT.rlv │ ├── reluBenchmark1.38453912735s_SAT.rlv │ ├── reluBenchmark1.38664793968s_SAT.rlv │ ├── reluBenchmark1.41313290596s_UNSAT.rlv │ ├── reluBenchmark1.4159579277s_SAT.rlv │ ├── reluBenchmark1.42864012718s_SAT.rlv │ ├── reluBenchmark1.43081092834s_SAT.rlv │ ├── reluBenchmark1.43647384644s_SAT.rlv │ ├── reluBenchmark1.45323586464s_SAT.rlv │ ├── reluBenchmark1.46978092194s_SAT.rlv │ ├── reluBenchmark1.4906899929s_SAT.rlv │ ├── reluBenchmark1.49795508385s_SAT.rlv │ ├── reluBenchmark1.49927210808s_UNSAT.rlv │ ├── reluBenchmark1.50267910957s_SAT.rlv │ ├── reluBenchmark1.51930308342s_UNSAT.rlv │ ├── reluBenchmark1.54508781433s_SAT.rlv │ ├── reluBenchmark1.54942297935s_UNSAT.rlv │ ├── reluBenchmark1.55073285103s_UNSAT.rlv │ ├── reluBenchmark1.563560009s_UNSAT.rlv │ ├── reluBenchmark1.6247959137s_UNSAT.rlv │ ├── reluBenchmark1.63588619232s_SAT.rlv │ ├── reluBenchmark1.63929510117s_SAT.rlv │ ├── reluBenchmark1.65046811104s_SAT.rlv │ ├── reluBenchmark1.68211698532s_SAT.rlv │ ├── reluBenchmark1.73644900322s_SAT.rlv │ ├── reluBenchmark1.73883795738s_UNSAT.rlv │ ├── reluBenchmark1.75021409988s_UNSAT.rlv │ ├── reluBenchmark1.7745950222s_UNSAT.rlv │ ├── reluBenchmark1.81178617477s_UNSAT.rlv │ ├── reluBenchmark1.81695604324s_UNSAT.rlv │ ├── reluBenchmark1.82720899582s_SAT.rlv │ ├── reluBenchmark1.9094479084s_UNSAT.rlv │ ├── reluBenchmark1.94941091537s_SAT.rlv │ ├── reluBenchmark2.02907896042s_SAT.rlv │ ├── reluBenchmark2.08050704002s_SAT.rlv │ ├── reluBenchmark2.08149003983s_SAT.rlv │ ├── reluBenchmark2.47187185287s_UNSAT.rlv │ ├── reluBenchmark2.64361000061s_SAT.rlv │ ├── reluBenchmark2.64949893951s_SAT.rlv │ ├── reluBenchmark2.66962385178s_UNSAT.rlv │ ├── reluBenchmark2.79231500626s_SAT.rlv │ └── reluBenchmark3.11155605316s_UNSAT.rlv ├── casestudies ├── MNIST │ ├── computeMNISTAccuracy.py │ ├── gurobi_get_robust_2_with_35_delta.ilp │ ├── lenet_solver.prototxt │ ├── lenet_train_test.prototxt │ ├── prodNetwork.py │ ├── snapshots │ │ ├── _iter_200000.caffemodel │ │ └── _iter_200000.solverstate │ ├── testAccuracy.sh │ └── train_lenet.sh └── vehicleCollision │ ├── build_database.sh │ ├── caffe_net_with_pooling.prototxt │ ├── caffe_solver_with_pooling.prototxt │ ├── collisions.csv │ ├── generator.py │ ├── json_net_against_csv_robustness_verifier.py │ ├── run100TimesTrain.py │ ├── snapshots │ ├── _iter_300000.caffemodel │ └── _iter_300000.solverstate │ ├── train.sh │ ├── train_data_list.txt │ └── verify.sh ├── src ├── Tool.pro ├── config.h ├── lpSolvers.hpp ├── main.cpp ├── minisat2 │ ├── Alg.h │ ├── Alloc.h │ ├── Dimacs.h │ ├── Heap.h │ ├── IntMap.h │ ├── IntTypes.h │ ├── LICENSE │ ├── Main.cc │ ├── Map.h │ ├── Options.cc │ ├── Options.h │ ├── ParseUtils.h │ ├── Queue.h │ ├── README │ ├── Rnd.h │ ├── Solver.cc │ ├── Solver.h │ ├── SolverTypes.h │ ├── Sort.h │ ├── System.cc │ ├── System.h │ ├── Vec.h │ └── XAlloc.h ├── supersetdatabase.cpp ├── supersetdatabase.hpp ├── verifierContext.cpp └── verifierContext.hpp └── tools ├── drawCactusPlotsForAllPerformanceSummariesInTheCurrentDirectory.py ├── json_network_to_rlv_translator.py ├── makeGurobiComparisonMakefile.py ├── makeParallelCheckingOfAllRLVFilesInThisDirectoryMakefile.py ├── makeYicesComparisonMakefile.py ├── pngToTikz.py ├── rlvCompressor.py ├── sumUserTimes.py └── testBenchmarksInThisDirectory.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/.travis.yml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/README.md -------------------------------------------------------------------------------- /benchmarks/aFewTests/formerBug_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/aFewTests/formerBug_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/aFewTests/reluBenchmark0.0673110485077s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/aFewTests/reluBenchmark0.0673110485077s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/aFewTests/reluBenchmark0.755311012268s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/aFewTests/reluBenchmark0.755311012268s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/aFewTests/reluBenchmark1.64867305756s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/aFewTests/reluBenchmark1.64867305756s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00491881370544s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00491881370544s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00501608848572s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00501608848572s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00502896308899s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00502896308899s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00512099266052s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00512099266052s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00517892837524s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00517892837524s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00523114204407s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00523114204407s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00524592399597s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00524592399597s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00544190406799s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00544190406799s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00548696517944s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00548696517944s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00568509101868s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00568509101868s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00573205947876s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00573205947876s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00577807426453s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00577807426453s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00581097602844s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00581097602844s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00584101676941s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00584101676941s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00601387023926s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00601387023926s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00621390342712s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00621390342712s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00628185272217s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00628185272217s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00636315345764s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00636315345764s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00640106201172s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00640106201172s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00641798973083s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00641798973083s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0064799785614s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0064799785614s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0064959526062s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0064959526062s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00652694702148s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00652694702148s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00653100013733s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00653100013733s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00656604766846s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00656604766846s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0065929889679s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0065929889679s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.00662088394165s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.00662088394165s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0318529605865s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0318529605865s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0327317714691s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0327317714691s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0330219268799s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0330219268799s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0338258743286s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0338258743286s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0352051258087s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0352051258087s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0368409156799s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0368409156799s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0374069213867s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0374069213867s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0380239486694s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0380239486694s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0386769771576s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0386769771576s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.039608001709s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.039608001709s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0396840572357s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0396840572357s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.040363073349s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.040363073349s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0413448810577s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0413448810577s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0413818359375s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0413818359375s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.041867017746s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.041867017746s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0424070358276s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0424070358276s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0429170131683s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0429170131683s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0431158542633s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0431158542633s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.043398141861s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.043398141861s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0441219806671s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0441219806671s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0447909832001s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0447909832001s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0452961921692s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0452961921692s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0459990501404s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0459990501404s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0466198921204s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0466198921204s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0467648506165s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0467648506165s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0470290184021s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0470290184021s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.047042131424s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.047042131424s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.048150062561s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.048150062561s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0492730140686s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0492730140686s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0494029521942s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0494029521942s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0494320392609s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0494320392609s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0502169132233s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0502169132233s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0505521297455s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0505521297455s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0507640838623s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0507640838623s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0509870052338s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0509870052338s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0514161586761s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0514161586761s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0518190860748s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0518190860748s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0527410507202s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0527410507202s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0527589321136s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0527589321136s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0530769824982s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0530769824982s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0536160469055s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0536160469055s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.053820848465s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.053820848465s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0538430213928s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0538430213928s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0542931556702s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0542931556702s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0549488067627s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0549488067627s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0554440021515s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0554440021515s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0555210113525s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0555210113525s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0562751293182s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0562751293182s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0563449859619s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0563449859619s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.05650806427s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.05650806427s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0574069023132s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0574069023132s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0575850009918s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0575850009918s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0575940608978s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0575940608978s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0584850311279s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0584850311279s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0589830875397s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0589830875397s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0591061115265s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0591061115265s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0594508647919s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0594508647919s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0596628189087s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0596628189087s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0597372055054s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0597372055054s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0600910186768s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0600910186768s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0606548786163s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0606548786163s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0607089996338s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0607089996338s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0617201328278s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0617201328278s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0618040561676s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0618040561676s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.062066078186s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.062066078186s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0623738765717s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0623738765717s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0631129741669s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0631129741669s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0633220672607s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0633220672607s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0637600421906s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0637600421906s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0645151138306s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0645151138306s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0650329589844s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0650329589844s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0653338432312s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0653338432312s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0656890869141s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0656890869141s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0658059120178s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0658059120178s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0667028427124s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0667028427124s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.067841053009s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.067841053009s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0679938793182s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0679938793182s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0687100887299s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0687100887299s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0688090324402s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0688090324402s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0693099498749s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0693099498749s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0709619522095s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0709619522095s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0715999603271s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0715999603271s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0724918842316s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0724918842316s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0745990276337s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0745990276337s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0762519836426s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0762519836426s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0780329704285s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0780329704285s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0810000896454s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0810000896454s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0842049121857s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0842049121857s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0860028266907s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0860028266907s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0872418880463s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0872418880463s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0876648426056s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0876648426056s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.088259935379s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.088259935379s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0888538360596s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0888538360596s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0896761417389s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0896761417389s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0896971225739s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0896971225739s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0908679962158s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0908679962158s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.091099023819s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.091099023819s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0918869972229s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0918869972229s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0933790206909s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0933790206909s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0939028263092s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0939028263092s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0950090885162s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0950090885162s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0952930450439s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0952930450439s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0954411029816s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0954411029816s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0990879535675s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0990879535675s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0996668338776s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0996668338776s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.0998799800873s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.0998799800873s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.101797103882s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.101797103882s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.103610992432s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.103610992432s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.104543924332s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.104543924332s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.105513095856s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.105513095856s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.108518123627s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.108518123627s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.110697031021s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.110697031021s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.114530801773s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.114530801773s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.116857051849s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.116857051849s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.118692874908s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.118692874908s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.120673894882s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.120673894882s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.121646165848s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.121646165848s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.124088048935s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.124088048935s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.131191015244s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.131191015244s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.138180971146s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.138180971146s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.142198085785s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.142198085785s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.15145778656s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.15145778656s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.154243946075s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.154243946075s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.157328128815s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.157328128815s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.159334182739s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.159334182739s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.165054798126s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.165054798126s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.167243003845s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.167243003845s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.175420999527s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.175420999527s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.179277896881s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.179277896881s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.179732084274s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.179732084274s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.181908130646s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.181908130646s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.183997154236s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.183997154236s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.188742160797s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.188742160797s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.188781023026s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.188781023026s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.190145969391s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.190145969391s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.19238615036s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.19238615036s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.196686029434s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.196686029434s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.213079929352s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.213079929352s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.213303089142s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.213303089142s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.213617086411s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.213617086411s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.221790075302s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.221790075302s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.224611997604s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.224611997604s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.24204993248s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.24204993248s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.24551987648s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.24551987648s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.245527029037s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.245527029037s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.246181964874s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.246181964874s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.247111082077s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.247111082077s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.256556034088s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.256556034088s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.261991024017s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.261991024017s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.262641906738s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.262641906738s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.263041973114s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.263041973114s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.270678043365s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.270678043365s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.271136045456s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.271136045456s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.276643037796s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.276643037796s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.276684999466s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.276684999466s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.280258178711s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.280258178711s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.28516793251s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.28516793251s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.287177085876s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.287177085876s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.29426407814s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.29426407814s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.294414997101s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.294414997101s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.295855998993s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.295855998993s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.296066999435s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.296066999435s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.298062801361s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.298062801361s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.30711388588s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.30711388588s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.307960987091s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.307960987091s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.310827970505s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.310827970505s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.3205909729s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.3205909729s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.322294950485s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.322294950485s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.326423883438s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.326423883438s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.329107999802s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.329107999802s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.345348119736s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.345348119736s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.345421075821s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.345421075821s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.346937894821s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.346937894821s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.354062080383s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.354062080383s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.359375s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.359375s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.359877824783s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.359877824783s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.360864877701s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.360864877701s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.362161874771s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.362161874771s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.363116979599s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.363116979599s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.366096973419s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.366096973419s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.376991033554s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.376991033554s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.379405975342s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.379405975342s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.383166074753s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.383166074753s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.384956121445s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.384956121445s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.385080099106s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.385080099106s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.394901990891s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.394901990891s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.396450042725s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.396450042725s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.398984909058s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.398984909058s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.40050983429s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.40050983429s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.401507139206s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.401507139206s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.405993938446s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.405993938446s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.406064987183s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.406064987183s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.411131858826s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.411131858826s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.416944026947s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.416944026947s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.42388010025s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.42388010025s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.426502943039s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.426502943039s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.427896976471s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.427896976471s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.429164886475s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.429164886475s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.43067407608s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.43067407608s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.432015895844s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.432015895844s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.433370828629s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.433370828629s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.434634923935s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.434634923935s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.445449113846s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.445449113846s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.44948387146s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.44948387146s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.449640989304s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.449640989304s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.453322172165s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.453322172165s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.453773975372s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.453773975372s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.454473018646s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.454473018646s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.454734802246s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.454734802246s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.455789089203s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.455789089203s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.458035945892s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.458035945892s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.460447072983s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.460447072983s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.464257001877s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.464257001877s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.468785047531s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.468785047531s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.471545934677s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.471545934677s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.477442979813s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.477442979813s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.479170084s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.479170084s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.482614994049s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.482614994049s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.485723018646s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.485723018646s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.488179922104s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.488179922104s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.49538397789s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.49538397789s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.4976811409s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.4976811409s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.498859882355s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.498859882355s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.499482154846s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.499482154846s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.502743005753s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.502743005753s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.505765914917s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.505765914917s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.507685899734s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.507685899734s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.512935876846s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.512935876846s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.514003992081s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.514003992081s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.515321969986s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.515321969986s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.516336917877s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.516336917877s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.520453214645s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.520453214645s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.524482011795s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.524482011795s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.527606964111s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.527606964111s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.532393932343s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.532393932343s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.534486055374s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.534486055374s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.536728143692s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.536728143692s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.551680803299s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.551680803299s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.554281949997s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.554281949997s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.56214594841s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.56214594841s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.563243865967s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.563243865967s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.566960096359s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.566960096359s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.58006310463s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.58006310463s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.580633163452s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.580633163452s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.582016944885s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.582016944885s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.582406044006s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.582406044006s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.587062835693s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.587062835693s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.592103004456s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.592103004456s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.594193935394s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.594193935394s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.59511089325s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.59511089325s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.598773002625s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.598773002625s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.600682973862s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.600682973862s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.60636305809s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.60636305809s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.614222049713s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.614222049713s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.618334054947s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.618334054947s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.619050979614s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.619050979614s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.62436914444s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.62436914444s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.625330924988s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.625330924988s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.627676963806s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.627676963806s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.629367113113s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.629367113113s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.631415843964s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.631415843964s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.631726026535s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.631726026535s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.637346982956s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.637346982956s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.642697095871s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.642697095871s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.65639591217s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.65639591217s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.666516065598s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.666516065598s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.670480966568s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.670480966568s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.671190023422s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.671190023422s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.67381310463s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.67381310463s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.674989938736s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.674989938736s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.678915023804s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.678915023804s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.682729005814s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.682729005814s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.682811975479s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.682811975479s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.687947034836s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.687947034836s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.692045211792s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.692045211792s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.703878879547s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.703878879547s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.705770969391s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.705770969391s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.707822084427s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.707822084427s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.71456193924s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.71456193924s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.715106010437s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.715106010437s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.717905044556s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.717905044556s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.724466085434s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.724466085434s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.725997209549s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.725997209549s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.73387503624s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.73387503624s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.734488964081s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.734488964081s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.743054866791s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.743054866791s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.760170936584s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.760170936584s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.763454198837s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.763454198837s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.763490200043s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.763490200043s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.764308929443s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.764308929443s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.764842987061s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.764842987061s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.766605138779s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.766605138779s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.768187999725s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.768187999725s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.775441884995s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.775441884995s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.778527975082s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.778527975082s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.779557943344s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.779557943344s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.780378818512s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.780378818512s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.781363010406s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.781363010406s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.781890869141s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.781890869141s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.782283067703s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.782283067703s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.784071922302s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.784071922302s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.786052942276s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.786052942276s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.790965080261s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.790965080261s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.801604032516s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.801604032516s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.80174612999s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.80174612999s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.802739858627s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.802739858627s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.803817987442s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.803817987442s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.805515766144s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.805515766144s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.81329202652s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.81329202652s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.825098991394s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.825098991394s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.828888177872s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.828888177872s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.831799030304s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.831799030304s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.836799860001s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.836799860001s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.837177038193s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.837177038193s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.83825802803s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.83825802803s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.844138860703s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.844138860703s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.855365991592s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.855365991592s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.856752872467s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.856752872467s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.86567401886s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.86567401886s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.881708860397s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.881708860397s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.883652925491s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.883652925491s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.89562702179s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.89562702179s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.899523973465s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.899523973465s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.90119600296s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.90119600296s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.90442609787s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.90442609787s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.907590150833s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.907590150833s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.908255815506s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.908255815506s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.910103082657s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.910103082657s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.914130926132s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.914130926132s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.918605089188s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.918605089188s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.919886112213s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.919886112213s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.923309087753s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.923309087753s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.930528879166s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.930528879166s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.93282699585s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.93282699585s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.935102939606s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.935102939606s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.936612129211s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.936612129211s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.942033052444s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.942033052444s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.94518494606s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.94518494606s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.945509195328s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.945509195328s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.947910070419s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.947910070419s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.950109958649s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.950109958649s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.952219009399s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.952219009399s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.956095933914s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.956095933914s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.957036972046s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.957036972046s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.959666967392s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.959666967392s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.963188886642s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.963188886642s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.965362071991s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.965362071991s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.967260837555s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.967260837555s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.968414068222s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.968414068222s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.970793008804s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.970793008804s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.970839977264s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.970839977264s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.97177696228s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.97177696228s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.972985029221s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.972985029221s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.979034900665s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.979034900665s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.983299016953s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.983299016953s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.984241962433s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.984241962433s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.989935874939s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.989935874939s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.991807222366s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.991807222366s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.996887922287s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.996887922287s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark0.997527122498s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark0.997527122498s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.00285983086s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.00285983086s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.00844407082s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.00844407082s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.01821899414s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.01821899414s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.02287507057s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.02287507057s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.03036904335s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.03036904335s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.03301095963s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.03301095963s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.04137301445s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.04137301445s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.04315304756s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.04315304756s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.05544614792s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.05544614792s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.06199502945s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.06199502945s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.06413292885s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.06413292885s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.06808495522s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.06808495522s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.06946182251s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.06946182251s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.07360696793s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.07360696793s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.07406687737s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.07406687737s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.07428097725s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.07428097725s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.07929301262s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.07929301262s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.08088994026s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.08088994026s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.08494997025s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.08494997025s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.09027004242s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.09027004242s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.09928894043s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.09928894043s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.11992502213s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.11992502213s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.12470388412s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.12470388412s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.1312661171s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.1312661171s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.13338017464s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.13338017464s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.13484883308s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.13484883308s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.13653492928s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.13653492928s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.13731384277s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.13731384277s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.14152503014s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.14152503014s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.14235496521s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.14235496521s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.14822697639s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.14822697639s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.149944067s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.149944067s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.15391778946s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.15391778946s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.15477514267s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.15477514267s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.15705108643s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.15705108643s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.1676428318s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.1676428318s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.16835904121s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.16835904121s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.17175102234s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.17175102234s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.17784190178s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.17784190178s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.20032310486s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.20032310486s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.20350694656s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.20350694656s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.20360302925s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.20360302925s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.20513105392s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.20513105392s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.20582485199s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.20582485199s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.20673108101s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.20673108101s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.21319699287s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.21319699287s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.21326208115s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.21326208115s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.21413683891s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.21413683891s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.2193801403s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.2193801403s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.22444009781s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.22444009781s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.22732901573s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.22732901573s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.23242592812s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.23242592812s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.23959302902s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.23959302902s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.24425601959s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.24425601959s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.24551987648s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.24551987648s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.26508307457s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.26508307457s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.26586914062s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.26586914062s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.2669301033s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.2669301033s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.27050995827s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.27050995827s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.27101492882s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.27101492882s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.29464912415s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.29464912415s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.30941200256s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.30941200256s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.30961179733s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.30961179733s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.32168889046s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.32168889046s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.32389783859s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.32389783859s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.32709693909s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.32709693909s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.32963395119s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.32963395119s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.3402671814s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.3402671814s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.35677289963s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.35677289963s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.35796022415s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.35796022415s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.36359000206s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.36359000206s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.36981892586s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.36981892586s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.38453912735s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.38453912735s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.38664793968s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.38664793968s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.41313290596s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.41313290596s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.4159579277s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.4159579277s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.42864012718s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.42864012718s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.43081092834s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.43081092834s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.43647384644s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.43647384644s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.45323586464s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.45323586464s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.46978092194s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.46978092194s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.4906899929s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.4906899929s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.49795508385s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.49795508385s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.49927210808s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.49927210808s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.50267910957s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.50267910957s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.51930308342s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.51930308342s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.54508781433s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.54508781433s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.54942297935s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.54942297935s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.55073285103s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.55073285103s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.563560009s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.563560009s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.6247959137s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.6247959137s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.63588619232s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.63588619232s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.63929510117s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.63929510117s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.65046811104s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.65046811104s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.68211698532s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.68211698532s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.73644900322s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.73644900322s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.73883795738s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.73883795738s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.75021409988s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.75021409988s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.7745950222s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.7745950222s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.81178617477s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.81178617477s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.81695604324s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.81695604324s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.82720899582s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.82720899582s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.9094479084s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.9094479084s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark1.94941091537s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark1.94941091537s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark2.02907896042s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark2.02907896042s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark2.08050704002s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark2.08050704002s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark2.08149003983s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark2.08149003983s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark2.47187185287s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark2.47187185287s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark2.64361000061s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark2.64361000061s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark2.64949893951s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark2.64949893951s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark2.66962385178s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark2.66962385178s_UNSAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark2.79231500626s_SAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark2.79231500626s_SAT.rlv -------------------------------------------------------------------------------- /benchmarks/collisionDetection/reluBenchmark3.11155605316s_UNSAT.rlv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/benchmarks/collisionDetection/reluBenchmark3.11155605316s_UNSAT.rlv -------------------------------------------------------------------------------- /casestudies/MNIST/computeMNISTAccuracy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/MNIST/computeMNISTAccuracy.py -------------------------------------------------------------------------------- /casestudies/MNIST/gurobi_get_robust_2_with_35_delta.ilp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/MNIST/gurobi_get_robust_2_with_35_delta.ilp -------------------------------------------------------------------------------- /casestudies/MNIST/lenet_solver.prototxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/MNIST/lenet_solver.prototxt -------------------------------------------------------------------------------- /casestudies/MNIST/lenet_train_test.prototxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/MNIST/lenet_train_test.prototxt -------------------------------------------------------------------------------- /casestudies/MNIST/prodNetwork.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/MNIST/prodNetwork.py -------------------------------------------------------------------------------- /casestudies/MNIST/snapshots/_iter_200000.caffemodel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/MNIST/snapshots/_iter_200000.caffemodel -------------------------------------------------------------------------------- /casestudies/MNIST/snapshots/_iter_200000.solverstate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/MNIST/snapshots/_iter_200000.solverstate -------------------------------------------------------------------------------- /casestudies/MNIST/testAccuracy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/MNIST/testAccuracy.sh -------------------------------------------------------------------------------- /casestudies/MNIST/train_lenet.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/MNIST/train_lenet.sh -------------------------------------------------------------------------------- /casestudies/vehicleCollision/build_database.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/build_database.sh -------------------------------------------------------------------------------- /casestudies/vehicleCollision/caffe_net_with_pooling.prototxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/caffe_net_with_pooling.prototxt -------------------------------------------------------------------------------- /casestudies/vehicleCollision/caffe_solver_with_pooling.prototxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/caffe_solver_with_pooling.prototxt -------------------------------------------------------------------------------- /casestudies/vehicleCollision/collisions.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/collisions.csv -------------------------------------------------------------------------------- /casestudies/vehicleCollision/generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/generator.py -------------------------------------------------------------------------------- /casestudies/vehicleCollision/json_net_against_csv_robustness_verifier.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/json_net_against_csv_robustness_verifier.py -------------------------------------------------------------------------------- /casestudies/vehicleCollision/run100TimesTrain.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/run100TimesTrain.py -------------------------------------------------------------------------------- /casestudies/vehicleCollision/snapshots/_iter_300000.caffemodel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/snapshots/_iter_300000.caffemodel -------------------------------------------------------------------------------- /casestudies/vehicleCollision/snapshots/_iter_300000.solverstate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/snapshots/_iter_300000.solverstate -------------------------------------------------------------------------------- /casestudies/vehicleCollision/train.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/train.sh -------------------------------------------------------------------------------- /casestudies/vehicleCollision/train_data_list.txt: -------------------------------------------------------------------------------- 1 | collisions.hdf5 2 | -------------------------------------------------------------------------------- /casestudies/vehicleCollision/verify.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/casestudies/vehicleCollision/verify.sh -------------------------------------------------------------------------------- /src/Tool.pro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/Tool.pro -------------------------------------------------------------------------------- /src/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/config.h -------------------------------------------------------------------------------- /src/lpSolvers.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/lpSolvers.hpp -------------------------------------------------------------------------------- /src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/main.cpp -------------------------------------------------------------------------------- /src/minisat2/Alg.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Alg.h -------------------------------------------------------------------------------- /src/minisat2/Alloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Alloc.h -------------------------------------------------------------------------------- /src/minisat2/Dimacs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Dimacs.h -------------------------------------------------------------------------------- /src/minisat2/Heap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Heap.h -------------------------------------------------------------------------------- /src/minisat2/IntMap.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/IntMap.h -------------------------------------------------------------------------------- /src/minisat2/IntTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/IntTypes.h -------------------------------------------------------------------------------- /src/minisat2/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/LICENSE -------------------------------------------------------------------------------- /src/minisat2/Main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Main.cc -------------------------------------------------------------------------------- /src/minisat2/Map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Map.h -------------------------------------------------------------------------------- /src/minisat2/Options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Options.cc -------------------------------------------------------------------------------- /src/minisat2/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Options.h -------------------------------------------------------------------------------- /src/minisat2/ParseUtils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/ParseUtils.h -------------------------------------------------------------------------------- /src/minisat2/Queue.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Queue.h -------------------------------------------------------------------------------- /src/minisat2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/README -------------------------------------------------------------------------------- /src/minisat2/Rnd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Rnd.h -------------------------------------------------------------------------------- /src/minisat2/Solver.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Solver.cc -------------------------------------------------------------------------------- /src/minisat2/Solver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Solver.h -------------------------------------------------------------------------------- /src/minisat2/SolverTypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/SolverTypes.h -------------------------------------------------------------------------------- /src/minisat2/Sort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Sort.h -------------------------------------------------------------------------------- /src/minisat2/System.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/System.cc -------------------------------------------------------------------------------- /src/minisat2/System.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/System.h -------------------------------------------------------------------------------- /src/minisat2/Vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/Vec.h -------------------------------------------------------------------------------- /src/minisat2/XAlloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/minisat2/XAlloc.h -------------------------------------------------------------------------------- /src/supersetdatabase.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/supersetdatabase.cpp -------------------------------------------------------------------------------- /src/supersetdatabase.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/supersetdatabase.hpp -------------------------------------------------------------------------------- /src/verifierContext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/verifierContext.cpp -------------------------------------------------------------------------------- /src/verifierContext.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/src/verifierContext.hpp -------------------------------------------------------------------------------- /tools/drawCactusPlotsForAllPerformanceSummariesInTheCurrentDirectory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/tools/drawCactusPlotsForAllPerformanceSummariesInTheCurrentDirectory.py -------------------------------------------------------------------------------- /tools/json_network_to_rlv_translator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/tools/json_network_to_rlv_translator.py -------------------------------------------------------------------------------- /tools/makeGurobiComparisonMakefile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/tools/makeGurobiComparisonMakefile.py -------------------------------------------------------------------------------- /tools/makeParallelCheckingOfAllRLVFilesInThisDirectoryMakefile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/tools/makeParallelCheckingOfAllRLVFilesInThisDirectoryMakefile.py -------------------------------------------------------------------------------- /tools/makeYicesComparisonMakefile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/tools/makeYicesComparisonMakefile.py -------------------------------------------------------------------------------- /tools/pngToTikz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/tools/pngToTikz.py -------------------------------------------------------------------------------- /tools/rlvCompressor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/tools/rlvCompressor.py -------------------------------------------------------------------------------- /tools/sumUserTimes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/tools/sumUserTimes.py -------------------------------------------------------------------------------- /tools/testBenchmarksInThisDirectory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/progirep/planet/HEAD/tools/testBenchmarksInThisDirectory.py --------------------------------------------------------------------------------